Performance Evaluation of Switched Discrete Event Systems
نویسنده
چکیده
Based on max-plus algebra, a class of discrete event processes can be described by linear recursive equations[1]. Such a system exhibits asymptotic periodic behavior, and its performance can be evaluated by calculating the eigenvalue of the system matrix in max-plus algebra. On the other hand, control techniques based on switching among different controllers have been explored extensively in recent years, where they have been shown to achieve better dynamic performance[2]. This paper proposes a new model for a class of switched discrete event systems. Such a model consists of a finite set of discrete event subsystems, and a switching law that orchestrates the switching among them. We show that, the switched system can be transformed into a non-switched system, and under certain conditions, the switched system exhibits asymptotic periodic behavior, and its performance can be evaluated by calculating the eigenvalue of certain matrix in max-plus algebra.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملPerformance Evaluation of Switched Discrete Event Systems1
This paper discusses the asymptotic periodic behavior of a class of switched discrete event systems, and shows how to evaluate the asymptotic performance of such systems.
متن کاملA new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem
Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کامل